(0 17 15)(1 19 3)(2 8 4)(5 14 7)(6 20 10)(9 16 13)(11 18 12)
ALLOWS (11/8)-SEQUENCE
1: (6 10 20)

(0 17 15)(1 19 3)(2 8 4)(5 14 7)(6 10 20)(9 16 13)(11 18 12)
2: (5 14 7)

(0 17 15)(1 19 3)(2 8 4)(5)(6 10 20)(7)(9 16 13)(11 18 12)(14)
3: (6 10 20)

(0 17 15)(1 19 3)(2 8 4)(5)(6)(7)(9 16 13)(10)(11 18 12)(14)(20)
4: (9 16 13)

(0 17 15)(1 19 3)(2 8 4)(5)(6)(7)(9)(10)(11 18 12)(13)(14)(16)(20)